non extensible type

n.非延展式